Typing Non-uniform Concurrent Objects
نویسندگان
چکیده
Concurrent objects may offer services non-uniformly, constraining the acceptance of messages on the states of objects. We advocate a looser view of communication errors. Safe programmes must guarantee that every message has a chance of being received if it requests a method that may become enabled at some point in the future. We formalise non-uniform concurrent objects in TyCO, a name-passing object calculus, and ensure program safety via a type system. Types are terms of a process algebra that describes dynamic aspects of the behaviour of objects.
منابع مشابه
A Tour of Hybrid A Language for Programming with Active Objects*
Object-oriented programming is a powerful paradigm for organizing software into reusable components. There have been several attempts to adapt and extend this paradigm to the programming of concurrent and distributed applications. Hybrid is a language whose design attempts to retain multiple inheritance, genericity and strong-typing, and incorporate a notion of active objects. Objects in Hybrid...
متن کاملTyped Concurrent Objects
Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed objectoriented concurrent programming language. The basic calculus incorporates the notions of asynchronous labelled messages, concurrent objects composed of labelled methods, and a form of abstraction on processes allowing in particular to declare polymo...
متن کاملBehavioural Types in CoOperative Objects
Behavioural typing and subtyping has proved to be a very useful concept for the support of incremental reuse in the area of object-oriented (O-O) languages. With the emergence of formalisms integrating the O-O approach and Petri nets, the question arises how behavioural subtyping may be supported by such formalisms. We present a formal framework for the definition of behavioural typing in CoOpe...
متن کاملActive Objects in Hybrid1
Most object-oriented languages are strong on reusability or on strong-typing, but weak on concurrency. In response to this gap, we are developing Hybrid, an object-oriented language in which objects are the active entities. Objects in Hybrid are organized into domains, and concurrent executions into activities. All object communications are based on remote procedure-calls. Unstructured sends an...
متن کاملBehavioural Types for a Calculus of Concurrent Objects
We present a new type system for TyCO, a name-passing calculus of concurrent objects. The system captures dynamic aspects of the behaviour of objects, namely non-uniform service availability. The notion of processes without errors is loosened, demanding only weak fairness in the treatment of messages. 1 Motivation The role of name-passing process algebras in the study of the foundations of conc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000